#ifndef __KPRINTF_H__
#define __KPRINTF_H__

/**
 *  kprintf.h
 *  funkce pro tisk formatovaneho textu
 */

#include <core/io/putchar.h>
#include <drivers/video.h>

#define PAD_RIGHT 1
#define PAD_ZERO 2
#define PRINT_BUF_LEN 12    /* the following should be enough for 32 bit int */

static void printchar(char **str, int c);
static int prints(char **out, const char *string, int width, int pad);
static int printi(char **out, int i, int b, int sg, int width, int pad, int letbase);
static int print(char **out, int *varg);
int kprintf(const char *format, ...);
int sprintf(char *out, const char *format, ...);

#include <source/kprintf.c>

#endif
